Model 1 - PDFSEARCH.IO - Document Search Engine

Model 1
Results: 15080

#	Item
11	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Probabilistic CTL Temporal logic Markov chain
12	A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Automated theorem proving NP-complete problems Electronic design automation Formal methods Conflict-driven clause learning Boolean satisfiability problem Clause Unit propagation
13	Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:43 Mathematics Theoretical computer science Mathematical logic Lemmas Model theory Interpolation Logic in computer science Craig interpolation Satisfiability modulo theories Farkas' lemma Quantifier elimination First-order logic
14	1 On the efficiency of the new Italian Senate and the role of 5 Stars Movement Comparison among different possible scenarios by means of a virtual Parliament model A. Pluchino, A. Rapisarda, C. Garofalo, S. Spagano, M. Add to Reading List Source URL: www2.dfa.unict.it Language: English - Date: 2013-03-18 05:39:27 Political parties Politics of Italy Politics of Europe Five Star Movement Democratic Party Italian Parliament Possible Senate of the Republic The People of Freedom Lega Nord Conte Cabinet
15	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
16	Characteristics of four illustrative model pathways Different mitigation strategies can achieve the net emissions reductions that would be required to follow a pathway that limits global warming to 1.5°C with no or limi Add to Reading List Source URL: www.ipcc.ch Language: English - Date: 2018-10-15 09:46:52 Climate change Climate change mitigation Climatology Physical geography Carbon dioxide Climate engineering Bio-energy with carbon capture and storage Biomass Climate change policy Low-carbon economy Global warming
17	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
18	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
19	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:15:38 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
20	A 1’st order phase transition via property T May 2007 A model proposed by Gromov [1] in 1992 consists in picking uniformly and independently 3n d realtors among the 3n possible reduced words of length n on the generato Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2007-10-07 03:04:11 Geometry Mathematics Geometric group theory Group theory Kazhdan's property Random group Collapsing manifold Isoperimetric inequality Isoperimetric dimension Hyperbolic metric space

UPDATE